Sökresultat för: Jean-louis Boulanger
Security of Computer Architectures (Inbunden)
avJean-louis Boulanger
ISBN: 9781848211971 - UTGIVEN: 2010-09-30
Static Analysis of Software: The Abstract Interpretation (Häftad)
avJean-louis Boulanger
ISBN: 9781848213203 - UTGIVEN: 2011-11-30
Formal Method: Industrial Used from Model to the Code (Häftad)
avJean-louis Boulanger
ISBN: 9781848213623 - UTGIVEN: 2012-07-31
Industrial Used of Formal Method: Formal Verification (Häftad)
avJean-louis Boulanger
ISBN: 9781848213630 - UTGIVEN: 2012-07-31
Safety of Software-based Systems (Häftad)
avJean-louis Boulanger
ISBN: 9781848214149 - UTGIVEN: 2014-09-30
Safety Management of Software-based Equipment (Häftad)
avJean-louis Boulanger
ISBN: 9781848214521 - UTGIVEN: 2013-05-31This practical work covers the principles of securization of software-based equipment.
-
Formal Methods Applied to Complex Systems (Häftad)
avJean-louis Boulanger
ISBN: 9781848216327 - UTGIVEN: 2014-05-31 -
CENELEC 50128 and IEC 62279 Standards (Häftad)
avJean-louis Boulanger
ISBN: 9781848216341 - UTGIVEN: 2014-07-31CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented.[...]
-
Formal Methods Applied to Industrial Complex Systems (Häftad)
avJean-louis Boulanger
ISBN: 9781848217096 - UTGIVEN: 2014-09-30 -
Control Build Implementation (Häftad)
avJean-louis Boulanger, F Corbier
ISBN: 9781848217126 - UTGIVEN: 2014-08-31 -
Certifiable Software Applications: Volume 4 (Inbunden)
avJean-Louis Boulanger
ISBN: 9781848217355 - UTGIVEN: 2015-08-04
